/*************************************************************************
	> File Name: maxTomin.c
	> Author:
	> Mail:
	> Created Time: 2017年02月04日 星期六 14时07分14秒
 ************************************************************************/

#include<stdio.h>
#include <stdlib.h>
#include<klee/klee.h>
int main(int argc, char* argv[]){
    int a,b,d;
    klee_make_symbolic(&a,sizeof(a),"a");
    klee_make_symbolic(&b,sizeof(b),"b");
    if(a>b)
    {
        char *ss="old_version";
        printf("%s",ss);
    }
    else
        printf("%d",3);
 //   else
       // printf("%d",(int)klee_change(a,b));
    return 0;
}
